41. Research on Tibetan spelling formal language and automata with application /
المؤلف: Nyima Tashi.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computational linguistics.,Electronic data processing.,Information technology-- China-- Tibet Autonomous Region.,Tibetan language-- Orthography and spelling-- Data processing.,Computational linguistics.,Electronic data processing.,Information technology.,LANGUAGE ARTS & DISCIPLINES-- Linguistics-- Historical & Comparative.,China, Tibet Autonomous Region., 7
رده :
P98
.
45
.
T58
42. Structured object-oriented formal language and method
المؤلف: \ Shaoying Liu, Zhenhua Duan (eds.)
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Formal methods (Computer science) -- Congresses,Object-oriented methods (Computer science) -- Congresses.,Logics and Meanings of Programs,روش‌های صوری (کامپیوتر) -- کنگره ها,شی‌گرایی (کامپیوتر) -- کنگره ها
رده :
QA
76
.
9
.
S765
2015
E-Book
,
43. Structured object-oriented formal language and method :
المؤلف: Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Formal methods (Computer science), Congresses.,Object-oriented methods (Computer science), Congresses.,Formal methods (Computer science),Object-oriented methods (Computer science)
رده :
QA76
.
9
.
L63
44. The Formal Complexity of Natural Language
المؤلف: edited by Walter J. Savitch, Emmon Bach, William Marsh, Gila Safran-Naveh.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.
45. Understanding Z : a specification language and its formal semantics
المؤلف: Spivey, J. M.
المکتبة: (طهران)
موضوع: ، Z )Computer program language(,، Computer input-output equipment
رده :
QA
76
.
73
.
Z2S65
1988
46. What Diagrams as a Formal Model Can and Cannot Represent; Examples from Language Family Trees
المؤلف: Kronenfeld, David B.,Kronenfeld, David B.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع:
